Über das Goursat-Problem für quasilineare hyperbolische Systeme partieller Differentialgleichungen erster Ordnung mit zwei unabhängigen Variablen

Softwareframework für Prozessoren mit variablen Befehlssatzarchitekturen

Nichtlineare Integro-Differentialgleichungen zweiter Ordnung

Thesen über Regelsprachen für das Semantische Web

Literatur 1. François Bry and Massimo Marchiori. Ten theses on logic languages for the semantic web.

Konfigurierung eingebetteter Systeme mit Wissen über die Struktur und das Zustandsverhalten der Konfigurationsobjekte

Kurzfassung. Mit zunehmender Komplexität und zunehmendem Funktionsumfang von konfigurierbaren Produkten steigt die Notwendigkeit, Wissen über Funktionen und Verhalten im Domänenmodell für eine wissensbasierte Konfigurierung zu berücksichtigen. Dies gilt insbesondere für viele Anwendungsgebiete der Konfigurierung eingebetteter Systeme. Es wird hier eine Methodik vorgestellt, die den Einsatz von ...

Smarte Systeme und Services für Freiheit, Recht und Ordnung

Mit diesem Impulsvortrag für den Workshop „Innovative Systeme zur Unterstützung der zivilen Sicherheit: Architekturen und Gestaltungskonzepte“ möchte ich die Diskussion in Bezug auf unterschiedliche Aspekte der zivilen Sicherheit anregen, so z.B. den Bereich „Schutz kritischer Infrastrukturen“. Darüber hinaus werde ich auch innovative Konzepte und Technologien für „smarte Verwaltung im Dienste ...